λ Functional Programming - hello · Scour

Formal Verification in Any Language for Everybody ✓Formal Verification

dev-log.me·1d·Hacker News·

Recursion 🔨Compiler Design

dev.to·3d·DEV·

Functional programming is the simplest way to scale agentic development 🎭Program Synthesis

cyrusradfar.com·18h·Hacker News·

DavidLiedle/WISP: Lisp in WASM ⚙️SWC

github.com·2d·Hacker News·

Quadratic Micropass Type Inference 🔍Type Inference

articles.luminalang.com·6d·Hacker News·

A Graded Modal Dependent Type Theory with Erasure, Formalized 📐Type Theory

arxiv.org·1d·

PANE: Programming with visible data 🎨Slint

joshuahhh.com·6d·

Formally verifying digital circuits with category theory in Lean ∘Category Theory

matt.hunzinger.me·5d·r/programming·

Perceus: Garbage Free Reference Counting with Reuse (2020) 🗑️Garbage Collection

microsoft.com·5d·Lobsters·

Vibe Clojure 2: Ahead of Time 🍱Nom

medium.com·4d·

Learning Elixir: Error Handling Basics 🛡️Error Handling

dev.to·1d·DEV·

Generators in Lone Lisp 🏭Code Generation

news.ycombinator.com·5d·Hacker News·

Why I Built a Lisp for AI Agents 🌳Tree-sitter

andreasronge.github.io·6d·Hacker News·

A Couple Million Lines of Haskell: Production Engineering at Mercury 🎯Escape Analysis

blog.haskell.org·3d·Lobsters, Hacker News, r/programming·

Stone Duality for Monads ∘Category Theory

arxiv.org·6d·

xtellect/cactus: Work-stealing parallel recursion runtime for C 🔀Crossbeam

github.com·6d·Hacker News·

Mad For Monads ∘Category Theory

dev.to·3d·DEV·

UCAgent: An End-to-End Agent for Block-Level Functional Verification 📐TLA+

arxiv.org·3d·

Performance & Recursion 🌳Instruction Selection

dev.to·3d·DEV·

Recursion 🌳Pratt Parsing

dev.to·3d·DEV·

Loading more...